1. A Concise Introduction to Mathematical Logic
پدیدآورنده : by Wolfgang Rautenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Logic, Symbolic and mathematical.,Mathematics.
2. A Course on Mathematical Logi
پدیدآورنده : / by Shashi Mohan Srivastava
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
3. <A> Theory of Syntax : Minimal Operations and Universal Grammar
پدیدآورنده :
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Grammar, Comparative and general - Syntax,Minimalist theory (Linguistics),Language and languages - Origin,Evolution,دستور زبان تطبیقی - نحو,زبان - منشاء,تکامل
رده :
CD-B
,
P
,
291
.
H662
,
2009
4. A companion of feminisms for digital design and spherology /
پدیدآورنده : Amanda Windle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Feminist theory.,Social structure-- Philosophy.,Sphere in art.,Feminist theory.,Social structure-- Philosophy.,Sphere in art.
رده :
HQ1190
.
W56
2019
5. A first journey through logic /
پدیدآورنده : Martin Hils, François Loeser.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical, Textbooks.,Mathematics, Textbooks.,Logic, Symbolic and mathematical.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.),Mathematics.,Mathematische Logik
رده :
QA9
.
H52445
2019
6. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
7. A theory of syntax :minimal operations and universal grammar
پدیدآورنده : [By] Norbert Hornstein
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Grammar, Comparative and general--Syntax.,Minimalist theory (Linguistics),Language and languages--Origin.,Evolution.
8. Abstract recursion and intrinsic complexity
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms. ; Recursion theory. ; Set theory. ;
9. Abstract recursion and intrinsic complexity /
پدیدآورنده : Yiannis N. Moschovakis (University of California, Los Angeles, and University of Athens).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,Set theory.,Algorithms.,Recursion theory.,Set theory.
رده :
QA9
.
58
.
M67
2019
10. Algebraic computability and enumeration models : recursion theory and descriptive complexity
پدیدآورنده : Nourani, Cyrus F.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Functor theory,، Model theory,، Computable functions,، Algebra, Homological,، Kleene algebra
رده :
QA
169
.
N68A4
11. Algebraic recursion theory
پدیدآورنده : Ivanov, Ljubomir Lalov, 2591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory
رده :
QA
9
.
6
.
I93
12. Algebraic recursion theory /
پدیدآورنده : L.L. Ivanov ; editor, Dr. J.L. Bell
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Recursion theory
رده :
QA9
.
6
.
I93
1986
13. Algorithm design : a recursion transformation framework
پدیدآورنده : Paull, Marvin C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
P38
1988
14. Algorithmics :
پدیدآورنده : Gilles Brassard and Paul Bratley.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Recursion theory.,algorithme efficace.,algorithme probabiliste.,algorithme vorace.,algorithmique.,analyse algorithmique.,complexité calcul.,conception algorithme.,Algorithmes.,Récursivité, Théorie de la.,Algorithmentheorie,Algorithms.,Algorithms.,Algorithmus,Recursion theory.,Recursion theory.
رده :
QA9
.
6
.
B73
1988
15. Algorithmics
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: (Mazandaran)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1988
16. Algorithmics : Theory and practice
پدیدآورنده : / Gilles Brassard, Paul Bratley
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Recursion theory,Algorithems
رده :
QA9
.
6
.
B73
1988
17. Algorithmics : theory and practice
پدیدآورنده : Gilles Brassard and Paul Bratley,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Recursion theory,Algorithms
رده :
QA
.
B73
9
.
6
1987
18. Algorithmics: theory and practice
پدیدآورنده : Gilles Brassard and paul Bratley
موضوع : Recursion theory,Algorithms
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
19. Algorithmics : theory and practice
پدیدآورنده : Brassard, Gilles
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Algorithms
رده :
QA
9
.
6
.
B73
1988
20. Algorithmics:theory and practice
پدیدآورنده : BRASSAARD,GILLES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : RECURSION THEORY , ALGORITHMS
رده :
QA
9
.
6
.
B73
